(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const r3 Real)
(declare-const r6 Real)
(declare-const r8 Real)
(declare-const v3 Bool)
(declare-const v5 Bool)
(declare-const v10 Bool)
(assert (xor v10 v5 (= v1 true v0) v3 (> 2305258509.0 r8 r3 r6 574.4) true (xor v0 v0 v0 v1 v1 v1 v1 true v0 v1 v0) true true v0))
(check-sat)
